61. Systems programming in parallel logic languages

پدیدآورنده :

موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

62. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

63. The Art of Modelling Computational Systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)

رده :
QA76
.
7
.
A78
2019

64. The Turing omnibus :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.

رده :
QA76
.
D45
1989

65. The (new) Turing omnibus :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.

رده :
QA76
.
D448
1993

66. Trees in Algebra and Programming - CAAP '96 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)

رده :
QA166
.
2
E358
1996